#include<stdio.h>
int main()
{

    int i,start=1,end=10;
    while(1== scanf("%d",&end))
    {
       long long sum=1LL;
        for(i=start; i<=end; i++)
        {
            sum*=i;

        }
        printf("%I64d\n",sum);
    }

    return 0 ;
}
